opaque Ident: Type = SuperType;
